Towards a GeoZ Toolkit
نویسندگان
چکیده
The use of Geometric Logic as the foundation of a speciication language called GeoZ is proposed elsewhere 4]. In this note we explore GeoZ from the perspective of practitioners, who are familiar with the existing Z notation, by explaining the issues that arise and the essential role of schema entailment in the GeoZ reformulation of Z's mathematical toolkit.
منابع مشابه
Calculation of Positron Distribution in the Presence of a Uniform Magnetic Field for the Improvement of Positron Emission Tomography (PET) Imaging Using GEANT4 Toolkit
Introduction Range and diffusion of positron-emitting radiopharmaceuticals are important parameters for image resolution in positron emission tomography (PET). In this study, GEANT4 toolkit was applied to study positron diffusion in soft tissues with and without a magnetic field for six commonly used isotopes in PET imaging including 11C, 13N, 15O, 18F, 68Ga, and 82Rb. Materials and Methods GEA...
متن کاملSuperCAT: The (New and Improved) Corpus Analysis Toolkit
This paper reports SuperCAT, a corpus analysis toolkit. It is a radical extension of SubCAT, the Sublanguage Corpus Analysis Toolkit, from sublanguage analysis to corpus analysis in general. The idea behind SuperCAT is that representative corpora have no tendency towards closure-that is, they tend towards infinity. In contrast, non-representative corpora have a tendency towards closure-roughly,...
متن کاملTowards a toolkit for building mediaspaces
Existing studies on mediaspaces have been focused mainly on social or equipment issues. They have shown the importance of flexibility and transparency for people to develop their own patterns of use. In this paper, I present Mediascape, the software infrastructure of our own mediaspace. Then, by looking at the benefits offered by this infrastructure from both a user’s and a developer’s point of...
متن کاملIceNLP: a natural language processing toolkit for icelandic
Icelandic is a morphologically complex language, for which language technology resources are scarce. Only a few years ago, it could be stated that language technology was practically non-existent in Iceland. In this paper, we describe the development of an NLP toolkit for processing the language, the challenges faced and the decisions made during development. The current version of the toolkit ...
متن کامل